Tiziana Margaria: шукати на сайті Z-Library

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (416)
Найпопулярніші
Перелік
- Перелік
- Таблиця

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications Volume 9953 || Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners

Margaria, Tiziana, Steffen, Bernhard

Рік:

2016

Мова:

english

Файл:

PDF, 2.45 MB

english, 2016

[Lecture Notes in Business Information Processing] Software Business. From Physical Products to Software Services and Solutions Volume 150 ||

Herzwurm, Georg, Margaria, Tiziana

Рік:

2013

Мова:

english

Файл:

PDF, 5.44 MB

english, 2013

Software engineering and formal methods

Hinchey, Mike, Jackson, Michael, Cousot, Patrick, Cook, Byron, Bowen, Jonathan P., Margaria, Tiziana

Журнал:

Communications of the ACM

Рік:

2008

Мова:

english

Файл:

PDF, 435 KB

english, 2008

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice Volume 11247 (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV) || Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions

Margaria, Tiziana, Steffen, Bernhard

Рік:

2018

Мова:

english

Файл:

PDF, 157 KB

english, 2018

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice Volume 11247 (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV) || Digital Transformation Trends: Industry 4.0, Automation, and AI

Margaria, Tiziana, Steffen, Bernhard

Рік:

2018

Мова:

english

Файл:

PDF, 148 KB

english, 2018

[Lecture Notes in Computer Science] Models, Mindsets, Meta: The What, the How, and the Why Not? Volume 11200 (Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday) ||

Margaria, Tiziana, Graf, Susanne, Larsen, Kim G.

Рік:

2019

Мова:

english

Файл:

PDF, 19.57 MB

english, 2019

Census: on paper, by governments, is still best

Breathnach, Ciara, Margaria, Tiziana

Журнал:

Nature

Рік:

2020

Файл:

PDF, 54 KB

2020

Web services-based tool-integration in the ETI platform

Tiziana Margaria

Журнал:

Software & Systems Modeling

Рік:

2005

Мова:

english

Файл:

PDF, 1.07 MB

english, 2005

[Communications in Computer and Information Science] Leveraging Applications of Formal Methods, Verification and Validation Volume 17 || A Framework for Analyzing and Testing the Performance of Software Services

Margaria, Tiziana, Steffen, Bernhard

Рік:

2008

Мова:

english

Файл:

PDF, 2.39 MB

english, 2008

[Communications in Computer and Information Science] Leveraging Applications of Formal Methods, Verification and Validation Volume 17 || Non-functional Avionics Requirements

Margaria, Tiziana, Steffen, Bernhard

Рік:

2009

Мова:

english

Файл:

PDF, 297 KB

english, 2009

[Lecture Notes in Computer Science] Service-Oriented Computing – ICSOC 2008 Volume 5364 || Adaptation of Web Service Composition Based on Workflow Patterns

Bouguettaya, Athman, Krueger, Ingolf, Margaria, Tiziana

Рік:

2008

Мова:

english

Файл:

PDF, 755 KB

english, 2008

[IEEE 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Potsdam, Germany (2009.06.2-2009.06.4)] 2009 14th IEEE International Conference on Engineering of Complex Computer Systems - Analysis and Code Model Extraction for C/C++ Source Code

Wagner, Christian, Margaria, Tiziana, Pagendarm, Hans-Georg

Рік:

2009

Мова:

english

Файл:

PDF, 417 KB

english, 2009

[IEEE 2012 2nd Workshop on Developing Tools as Plug-ins (TOPI) - Zurich, Switzerland (2012.06.3-2012.06.3)] 2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI) - Simplicity principles for plug-in development: The jABC approach

Naujokat, Stefan, Lamprecht, Anna-Lena, Steffen, Bernhard, Jorges, Sven, Margaria, Tiziana

Рік:

2012

Мова:

english

Файл:

PDF, 515 KB

english, 2012

Simplicity-first model-based plug-in development

Naujokat, Stefan, Neubauer, Johannes, Lamprecht, Anna-Lena, Steffen, Bernhard, Jörges, Sven, Margaria, Tiziana

Журнал:

Software: Practice and Experience

Рік:

2014

Мова:

english

Файл:

PDF, 1.76 MB

english, 2014

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms

Kubczak, Christian, Margaria, Tiziana, Fritsch, Arno, Steffen, Bernhard

Рік:

2006

Мова:

english

Файл:

PDF, 3.03 MB

english, 2006

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach

Bajohr, Markus, Margaria, Tiziana, Steffen, Bernhard

Рік:

2006

Мова:

english

Файл:

PDF, 809 KB

english, 2006

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - The FMICS-jETI Platform: Status and Perspectives

Margaria, Tiziana, Kubczak, Christian, Steffen, Bernhard, Naujokat, Stefan

Рік:

2006

Мова:

english

Файл:

PDF, 2.06 MB

english, 2006

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Comparative Analysis of Tools for Automated Software Re-engineering Purposes

Wagner, Christian, Margaria, Tiziana, Pagendarm, Hans-Georg

Рік:

2006

Мова:

english

Файл:

PDF, 823 KB

english, 2006

[Lecture Notes in Business Information Processing] Software Business. From Physical Products to Software Services and Solutions Volume 150 || Engineering Open Innovation – Towards a Framework for Fostering Open Innovation

Herzwurm, Georg, Margaria, Tiziana

Рік:

2013

Мова:

english

Файл:

PDF, 231 KB

english, 2013

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications Volume 8803 ||

Margaria, Tiziana, Steffen, Bernhard

Рік:

2014

Мова:

english

Файл:

PDF, 20.35 MB

english, 2014

[Lecture Notes in Computer Science] Software Process Improvement Volume 4764 || SPI with Lightweight Software Process Modeling in a Small Software Company

Abrahamsson, Pekka, Baddoo, Nathan, Margaria, Tiziana, Messnarz, Richard

Рік:

2007

Мова:

english

Файл:

PDF, 171 KB

english, 2007

[Lecture Notes in Business Information Processing] Software Business. From Physical Products to Software Services and Solutions Volume 150 || Business Incubation Practices and Software Start-up Success in Turkey

Herzwurm, Georg, Margaria, Tiziana

Рік:

2013

Мова:

english

Файл:

PDF, 188 KB

english, 2013

[Lecture Notes in Computer Science] SOFSEM 2015: Theory and Practice of Computer Science Volume 8939 || Advantages of Dependency Parsing for Free Word Order Natural Languages

Italiano, Giuseppe F., Margaria-Steffen, Tiziana, Pokorný, Jaroslav, Quisquater, Jean-Jacques, Wattenhofer, Roger

Рік:

2015

Мова:

english

Файл:

PDF, 219 KB

english, 2015

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications Volume 8803 || A Risk Assessment Framework for Software Testing

Margaria, Tiziana, Steffen, Bernhard

Рік:

2014

Мова:

english

Файл:

PDF, 676 KB

english, 2014

Simplicity in IT: The Power of Less

Margaria, Tiziana, Hinchey, Mike

Журнал:

Computer

Рік:

2013

Мова:

english

Файл:

PDF, 943 KB

english, 2013

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications Volume 9953 || Adaptable Runtime Monitoring for the Java Virtual Machine

Margaria, Tiziana, Steffen, Bernhard

Рік:

2016

Мова:

english

Файл:

PDF, 936 KB

english, 2016

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications Volume 9953 || Systems Modeling and Programming in a Unified Environment Based on Julia

Margaria, Tiziana, Steffen, Bernhard

Рік:

2016

Мова:

english

Файл:

PDF, 1.65 MB

english, 2016

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications Volume 9953 || Data Science Challenges to Improve Quality Assurance of Internet of Things Applications

Margaria, Tiziana, Steffen, Bernhard

Рік:

2016

Мова:

english

Файл:

PDF, 1.03 MB

english, 2016

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques Volume 9952 || Rigorous Engineering of Collective Adaptive Systems Track Introduction

Margaria, Tiziana, Steffen, Bernhard

Рік:

2016

Мова:

english

Файл:

PDF, 89 KB

english, 2016

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications Volume 9953 || The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems

Margaria, Tiziana, Steffen, Bernhard

Рік:

2016

Мова:

english

Файл:

PDF, 1.32 MB

english, 2016

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques Volume 9952 || Correctness-by-Construction $$\wedge $$ Taxonomies $$\Rightarrow $$ Deep Comprehension of Algorithm Families

Margaria, Tiziana, Steffen, Bernhard

Рік:

2016

Мова:

english

Файл:

PDF, 553 KB

english, 2016

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 10206 || HiFrog: SMT-based Function Summarization for Software Verification

Legay, Axel, Margaria, Tiziana

Рік:

2017

Мова:

english

Файл:

PDF, 655 KB

english, 2017

Guest Editorial: Special Section on Computing Education & Learning Technologies

Lamberti, Fabrizio, Margaria, Tiziana, Chan, Henry C. B.

Журнал:

IEEE Transactions on Emerging Topics in Computing

Рік:

2018

Мова:

english

Файл:

PDF, 134 KB

english, 2018

[IEEE 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) - Tokyo, Japan (2018.7.23-2018.7.27)] 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) - Computational Thinking: Learning by Doing with the Cinco Adventure Game Tool

Gossen, Frederik, Kuhn, Dennis, Margaria, Tiziana, Lamprecht, Anna-Lena

Рік:

2018

Мова:

english

Файл:

PDF, 531 KB

english, 2018

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 2984 || A Systematic Methodology for Developing Component Frameworks

Wermelinger, Michel, Margaria-Steffen, Tiziana

Рік:

2004

Мова:

english

Файл:

PDF, 342 KB

english, 2004

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice Volume 11247 (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV) || A Language-Independent Approach to Smart Contract Verification

Margaria, Tiziana, Steffen, Bernhard

Рік:

2018

Мова:

english

Файл:

PDF, 1.15 MB

english, 2018

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems Volume 11246 (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III) || Scenario-Based Validation of Automated Driving Systems

Margaria, Tiziana, Steffen, Bernhard

Рік:

2018

Мова:

english

Файл:

PDF, 563 KB

english, 2018

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice Volume 11247 (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV) || Blockchains as Kripke Models: An Analysis of Atomic Cross-Chain Swap

Margaria, Tiziana, Steffen, Bernhard

Рік:

2018

Мова:

english

Файл:

PDF, 430 KB

english, 2018

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Verification Volume 11245 (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II) || Statistical Model Checking of Incomplete Stochastic Systems

Margaria, Tiziana, Steffen, Bernhard

Рік:

2018

Мова:

english

Файл:

PDF, 917 KB

english, 2018

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice Volume 11247 (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV) || Security Analysis of Smart Contracts in Datalog

Margaria, Tiziana, Steffen, Bernhard

Рік:

2018

Мова:

english

Файл:

PDF, 283 KB

english, 2018

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems Volume 11246 (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III) || Lessons Learned Using FMI Co-simulation for Model-Based Design of Cyber Physical Systems

Margaria, Tiziana, Steffen, Bernhard

Рік:

2018

Мова:

english

Файл:

PDF, 1.35 MB

english, 2018

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems Volume 11246 (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III) || Co-simulation: The Past, Future, and Open Challenges

Margaria, Tiziana, Steffen, Bernhard

Рік:

2018

Мова:

english

Файл:

PDF, 548 KB

english, 2018

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice Volume 11247 (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV) || SMT-Based Verification of Solidity Smart Contracts

Margaria, Tiziana, Steffen, Bernhard

Рік:

2018

Мова:

english

Файл:

PDF, 378 KB

english, 2018

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice Volume 11247 (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV) || Automatic Composition of Rough Solution Possibilities in the Target Planning of Factory Planning Projects by Means of Combinatory Logic

Margaria, Tiziana, Steffen, Bernhard

Рік:

2018

Мова:

english

Файл:

PDF, 1.63 MB

english, 2018

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Modeling Volume 11244 (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I) || Programming Is Modeling

Margaria, Tiziana, Steffen, Bernhard

Рік:

2018

Мова:

english

Файл:

PDF, 501 KB

english, 2018

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems Volume 11246 (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III) || Effective Test Suite Design for Detecting Concurrency Control Faults in Distributed Transaction Systems

Margaria, Tiziana, Steffen, Bernhard

Рік:

2018

Мова:

english

Файл:

PDF, 1.42 MB

english, 2018

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems Volume 11246 (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III) || Coordination Model with Reinforcement Learning for Ensuring Reliable On-Demand Services in Collective Adaptive Systems

Margaria, Tiziana, Steffen, Bernhard

Рік:

2018

Мова:

english

Файл:

PDF, 1.46 MB

english, 2018

[Lecture Notes in Computer Science] Models, Mindsets, Meta: The What, the How, and the Why Not? Volume 11200 (Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday) || Refining the Safety–Liveness Classification of Temporal Properties According to Monitorability

Margaria, Tiziana, Graf, Susanne, Larsen, Kim G.

Рік:

2019

Мова:

english

Файл:

PDF, 411 KB

english, 2019

[Lecture Notes in Computer Science] Models, Mindsets, Meta: The What, the How, and the Why Not? Volume 11200 (Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday) || The Merits of Compositional Abstraction: A Case Study in Propositional Logic

Margaria, Tiziana, Graf, Susanne, Larsen, Kim G.

Рік:

2019

Мова:

english

Файл:

PDF, 782 KB

english, 2019

[Lecture Notes in Computer Science] Models, Mindsets, Meta: The What, the How, and the Why Not? Volume 11200 (Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday) || Benchmarks for Automata Learning and Conformance Testing

Margaria, Tiziana, Graf, Susanne, Larsen, Kim G.

Рік:

2019

Мова:

english

Файл:

PDF, 622 KB

english, 2019